Verification and Validation of Knowledge-Based Systems: Report on Two 1997 Events
نویسندگان
چکیده
This report gives an overview of two recent events on the validation and verification of Knowledge-Based Systems, namely EUROVAV’97 and AAAI-97 workshop on this topic. In order to give an integrated view of current research issues in this field, we have organised this report along thematical lines, unifying the reports of the two separate meetings. Our report focuses on the trends that we think will be important in the near future in this field. EUROVAV is the bi-annual European Symposium on Verification and Validation of Knowledge-Based Systems. This 1997 edition of EUROVAV was already the fourth time that the symposium was held. It was chaired by Jan Vanthienen (University of Leuven, Belgium), and Frank van Harmelen (Vrije Universiteit, Amsterdam), and was organised in the beautiful city of Leuven. With 25 submissions (of which 16 were accepted), and with 35 attendants, this EUROVAV’97 was roughly the same size as EUROVAV meetings in recent years. Detailed information on the program, the participants, and on-line abstracts of all the papers can be found at http://www.econ.kuleuven.ac.be/congres/eurovav/eurovav97.htm. Under this address there is also an order form for the proceedings of the meeting. Annual meetings on the Verification and Validation of Knowledge Based Systems have been organised in North America since 1988. The 1997 event took place in Providence in the form of a AAAI-97 workshop. It was chaired by Grigoris Antoniou (Griffith University, Australia) and Robert Plant (University of Miami, USA), and attracted around 20 participants from academia and industry. Selected (expanded) papers of this meeting will be published in a special issue of the journal Knowledge-Based Systems.
منابع مشابه
Validation and Verification of Conceptual Models of Diagnosis
Traditional approaches to validation and verification of KBS aim at investigating properties of a KBS which are independent of the particular task of the KBS, and are phrased in terms of the implementation language of the final system. In contrast to this, we propose an approach to validation and verification of KBS which exploits task-specific properties of a KBS, and which is based on an impl...
متن کاملSPARSE - A Prolog Based Application for the Portuguese Transmission Network: Verification and Validation
The activity of electrical network Control Centres is supported by a large number of computer applications. However, Control Centre operators usually have to face critical situations without the support of efficient decision support tools. During the last years, electrical utilities began to install intelligent applications in their Control Centres. These applications are mainly intended to pro...
متن کاملAchieving Comprehensiveness in Verifying Hybrid Systems
Rule-based systems have been the traditional foundation for knowledge-based systems (KBSs). In this respect, research in verification and validation of KBSs has focused primarily on rule-based systems (Preece Suen, 1993; Culbert, 1990; Gupta, 1991; Murreli & Plant, 1997; O’Leary, 1994). Some researchers have extended the verification and validation concepts to KBSs that comprise other component...
متن کاملVerification of non-monotonic knowledge bases
Ž . Non-monotonic Knowledge-Based Systems KBSs must undergo quality assurance procedures for the following two Ž . Ž . reasons: i belief revision if such is provided cannot always guarantee the structural correctness of the knowledge base, Ž . and in certain cases may introduce new semantic errors in the revised theory; ii non-monotonic theories may have multiple extensions, and some types of f...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- AI Magazine
دوره 19 شماره
صفحات -
تاریخ انتشار 1998